Search Results for 'call tid'

call tid published presentations and documents on DocSlides.

Verifiable Concurrent

by calandra-battersby

Systems Programming. A Garbage Collector Case Stu...

Automated and Modular Refinement Reasoning

by celsa-spraggs

for Concurrent Programs. Shaz Qadeer. The refinem...